The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Continue readingThis book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Continue readingBased on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Continue readingIn this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Continue readingThe book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
Continue readingThis book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Continue readingSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Continue readingA Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
Continue readingPractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Continue readingThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Continue readingAlthough there are now a large number of computer programmes for solving all sorts of foundation design problems, the need ...
Continue readingExplains the process of ground formation - what it is made of and how it behaves as an engineering material. This enables ...
Continue readingA Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
Continue readingA Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Continue readingSatellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
Continue readingThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Continue readingThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Continue readingANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
Continue readingThe ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity ...
Continue reading